as\_strong($T$;$Q$;$P$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$x$:$T$. $P$($x$) $\Rightarrow$ $Q$($x$)